4441. Transport processes primer /
پدیدآورنده: Constantine Pozrikidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Transport theory.,Transport theory.
رده :
QC718
.
5
.
T7
P69
2019eb
4442. Trellises and Trellis-Based Decoding Algorithms for Linear Block Codes
پدیدآورنده: by Shu Lin, Tadao Kasami, Toru Fujiwara, Marc Fossorier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Computer Communication Networks.,Computer engineering.,Engineering.,Mathematics.
4443. Trends and Perspectives in Modern Computational Science.
پدیدآورنده: George Maroulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
4444. Trends and applications in constructive approximation.
پدیدآورنده: Marcel G de Bruin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics.,Functions, Special.,Mathematics.
4445. Trends in Contemporary Mathematics
پدیدآورنده: / Vincenzo Ancona, Elisabetta Strickland
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
4446. Trust in cyberspace /
پدیدآورنده: Fred B. Schneider, editor ; Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Security measures.,Internet-- Security measures.,Telecommunication policy-- United States.,Computer Security.,Internet.,Public Policy.,Telecommunications.,BUSINESS & ECONOMICS-- Industries-- Media & Communications.,Computer networks-- Security measures.,COMPUTERS.,Electrical & Computer Engineering.,Engineering & Applied Sciences.,Internet / Security.,Internet-- Security measures.,Internet.,Sicherheit,TECHNOLOGY & ENGINEERING-- Telecommunications.,Telecommunication policy.,Telecommunications.,Telekommunikationspolitik,Verteiltes System,United States.,USA., 7, 7
رده :
TK5105
.
59
.
T78
1999eb
4447. Truth from trash :
پدیدآورنده: Chris Thornton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine learning.,Aanpassing.,APRENDIZADO COMPUTACIONAL.,Bewustzijn.,Computer Science.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Engineering & Applied Sciences.,INTELIGÊNCIA ARTIFICIAL.,Leerprocessen.,Leren.,Machine learning.,Maschinelles Lernen
رده :
Q325
.
4
.
T47
2000eb
4448. Truth, objects, infinity : new perspectives on the philosophy of Paul Benacerraf
پدیدآورنده: Fabrice Pataut, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Benacerraf, Paul,، Mathematics -- Philosophy
رده :
QA
29
.
B515T7
4449. Turing :
پدیدآورنده: B. Jack Copeland
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
رده :
QA20
.
T87
C78
2012
4450. Turing's connectionism :
پدیدآورنده: Christof Teuscher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Genetischer Algorithmus.,Konnektionistisches Netz.,Turing-Maschine.
رده :
QA76
.
87
C475
2002
4451. Turing's revolution :
پدیدآورنده: Giovanni Sommaruga, Thomas Strahm, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
4452. <2000=Two thousand> solved problems in discrete mathematics
پدیدآورنده: by Seymour Lipschutz, Marc Lars Lipson
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Mathematics Problems, exercises, etc,Computer science -- Mathematics Problems, exercises, etc
رده :
QA
،
43
،.
L666
،
1992
4453. Type logical grammar :
پدیدآورنده: by Glyn V. Morrill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categorial grammar.,Semantics (Philosophy),Type theory.
رده :
P161
.
B945
1994
4454. Type theory and formal proof :
پدیدآورنده: Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Type theory
رده :
QA9
.
N37
2014
4455. Uncertainty Management in Information Systems :
پدیدآورنده: edited by Amihai Motro, Philippe Smets.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Text processing (Computer science)
رده :
QA76
.
9
.
D3
E358
1997
4456. Uncertainty Quantification
پدیدآورنده: \ Christian Soize
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics,Probabilities,Applied mathematics,علوم کامپیوتر -- ریاضیات,احتمالات
رده :
E-Book
,
4457. Uncertainty Quantification in Computational Fluid Dynamic
پدیدآورنده: / edited by Hester Bijl, Didier Lucor, Siddhartha Mishra, Christoph Schwab
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science, Mathematics,Computer science,Engineering mathematics,Astronautics,Electronic books
رده :
E-BOOK
4458. Uncertainty Theory
پدیدآورنده: by Baoding Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Distribution (Probability theory).,Engineering.,Operations research.
4459. Uncertainty-based information :elements of generalized information theory
پدیدآورنده: Klir, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Soft computing,، Fuzzy systems,، Information theory
رده :
QA
76
.
9
.
S63
K58
1997
4460. Unconventional computing :
پدیدآورنده: Andrew Adamatzky, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Natural computation.,Artificial Intelligence.,Complex Systems.,Computational Biology/Bioinformatics.,Computational Intelligence.,Quantum Computing.,Theoretical and Computational Chemistry.,Computer science.,Natural computation.
رده :
QA76
